operating system kernel - German English Dictionary